#include <stdio.h>
#include <string.h>

void vuln( char * string )
{
	char buffer[ 12 ] = {0};
	strcpy( buffer, string );
	printf("buffer is %s\n", buffer);
}

int main( int argc, char ** argv )
{
	if( argc != 3 )
		return 123;
	else
		vuln( argv[2] );

	return 0;
}
